For prime
p
,
p |
ab
(
integer
a
and
b
) implies
p
| a
or
p | b
.